$\forall$$w$:World, $t$:$\mathbb{N}$, $l$:IdLnk, $i$:Id. $\parallel$onlnk($l$;m($i$;$t$))$\parallel$ $\in$ $\mathbb{Z}$